“운용 의미론”으로 총 1건 검색

• 운용 의미론, 運用意味論, operational semantics

  프로그램 작성 언어의 의미를 기술하는 방법의 하나. 해당 프로그램 작성 언어로 작성된 프로그램을 실행하는 추상적인 처리기로 가정하고 이 프로그램에 추상적인 처리기의 행동 양식을 명시함으로써 의미를 기술하는 방법이다.